﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace CNFProblem.CNF
{
    class Algo183 : IAlgorithm
    {
        public bool Compute(LogicalFormula3CNF formula, out Dictionary<int, bool> values)
        {
            throw new NotImplementedException();
        }
    }
}
